ba610f114511dd248afc6be20e00821b29206b7f,src/main/java/com/jetbrains/jetpad/vclang/typechecking/visitor/CheckTypeVisitor.java,CheckTypeVisitor,visitSigma,#Abstract.SigmaExpression#Type#,828
Before Change
DependentLink args = visitArguments(expr.getArguments());
if (args == null || !args.hasNext()) return null;
Expression sigmaExpr = ExpressionFactory.Sigma(args);
return checkResult(expectedType, new Result(sigmaExpr, sigmaExpr.getType()), expr);
}
@Override
After Change
if (args == null || !args.hasNext()) return null;
Expression sigmaExpr = ExpressionFactory.Sigma(args);
TypeMax type = sigmaExpr.getType();
return type == null ? null : checkResult(expectedType, new Result(sigmaExpr, type), expr);
}
@Override